A Static Analysis Method for a Classical Linear Logic Programming Language

A Static Analysis for Classical Linear Logic Programming Language

A Static Analysis Method for a Classical Linear Logic Programming Language

In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover multiplicative connectives which are important for a resource-sensitive feature of linear logic. Our method, in contrast, covers multi...

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...

Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract)

Linear logic developed by J.-Y. Girard [3] is expected to be applied for various elds in computer science. Linear logic is called \resource-conscious" because consumed hypotheses can never be used again. Therefore, a resource can be represented as a formula in linear logic rather than represented as a term. There have been several proposals for logic programming language based on linear logic: ...

Static Analysis Techniques for Equational Logic Programming

An equational logic program is a set of directed equations or rules, which are used to compute in the obvious way (by replacing equals with “simpler” equals). We present static analysis techniques for efficient equational logic programming, some of which have been implemented in LR, a laboratory for developing and evaluating fast, efficient, and practical rewriting techniques. Two novel feature...